Nikitin Alexey Yu., Kudyk Ivan D. «Criterion for equational Noetherianity and complexity of the solvability problem for systems of equations over partially ordered sets» // Applied Discrete Mathematics 2024. №64 C.7-19
Nikitin A. Y., Rybalov A. N. «On complexity of the satisfiability problem of systems over finite posets» // Applied Discrete Mathematics 2018. №39 C.94-98